Insert an element at an arbitrary index in python list